- many-sorted term
- терм с несколькими типами переменных; многотипный терм
English-Russian dictionary of computer science and programming. 2013.
many-sorted term
Смотреть что такое "many-sorted term" в других словарях:
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
Macrobiotic diet — Biologically based alternative and complementary therapy edit Chinese food therapy Herbalism Macrobiotic diet Natural health Orthomolecular medicine NCCAM classifications … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Economic model — A diagram of the IS/LM model In economics, a model is a theoretical construct that represents economic processes by a set of variables and a set of logical and/or quantitative relationships between them. The economic model is a simplified… … Wikipedia
List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… … Wikipedia
John V. Tucker — John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. His work has focussed on generalizing the classical theory to deal with all forms of discrete/digital and… … Wikipedia
Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia
L-Struktur — Zu jeder Elementaren Sprache L können zugehörige Strukturen definiert werden. Eine L Struktur M besteht aus einem Grundbereich, den Elementen von M, ausgezeichneten Elementen, den Konstanten von M, und aus Beziehungen zwischen der Elementen, die… … Deutsch Wikipedia
